The Kirpan: Justified Doctrine or Just a Dagger?

The European Commission’s Power: Overrated or Justified?

For decades the bureaucratic and legislative power of the European Commission has interested scholars of EU studies. Yet, relatively little data are known about the exact division of power of the European Commission in legislative affairs apart from case studies (Cini, 2000; Schmidt, 2000). This paper presents analyses of qualitative and quantitative data to analyse how powerful some experts co...

Speciesism: A Form of Bigotry or A Justified View?

The dagger lambda calculus

We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols [4] into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus [6] with a linear negation [1] of ”trivialised” De Morgan duality [5]. Reduction is realised through explicit substitution, based on a symmetric notion of binding of glo...

Galileo's Dagger.

Galileo found that fine lines on a balance scale dazzled his eyes and were unreadable. So he used a grid of fine wires instead and ran his dagger across it, counting the number of auditory clicks. This is the first known experiment on sensory substitution.

Monads on Dagger Categories

The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when all structure respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and its algebras should satisfy the so-called Frobenius law. Then any monad resolves as an adjunction, with extremal solutions given by the categories of Kleis...